Logic Part 1: Logic Statements, Connectives And Quantifiers